$\mathrm{Yhp1}=0$ $((\mathrm{Cln3}=0)\land (\mathrm{SMBF}=0)\land (\mathrm{Cln2}=1)\land (\mathrm{Clb2}=0))\lor ((\mathrm{Cln3}=0)\land (\mathrm{SMBF}=1)\land (\mathrm{Clb2}=0))\lor ((\mathrm{Cln3}=1)\land (\mathrm{Clb2}=0))$ $\mathrm{SMBF}=1$ $(\mathrm{SMBF}=1)\land (\mathrm{Cdc20}=0)$ $\mathrm{SMBF}=1$ $((\mathrm{Clb2}=0)\land (\mathrm{Cdc20}=0)\land (\mathrm{CKI}=0)\land (B=1))\lor ((\mathrm{Clb2}=0)\land (\mathrm{Cdc20}=1)\land (\mathrm{CKI}=0)\land (\mathrm{Cdh1}=0)\land (B=1))\lor ((\mathrm{Clb2}=1)\land (\mathrm{SFF}=0)\land (\mathrm{Cdc20}=0)\land (\mathrm{CKI}=0)\land (B=1))\lor ((\mathrm{Clb2}=1)\land (\mathrm{SFF}=0)\land (\mathrm{Cdc20}=1)\land (\mathrm{CKI}=0)\land (\mathrm{Cdh1}=0)\land (B=1))\lor ((\mathrm{Clb2}=1)\land (\mathrm{SFF}=1)\land (\mathrm{Cdc20}=0)\land (\mathrm{CKI}=0))\lor ((\mathrm{Clb2}=1)\land (\mathrm{SFF}=1)\land (\mathrm{Cdc20}=1)\land (\mathrm{CKI}=0)\land (\mathrm{Cdh1}=0))$ $((\mathrm{Clb2}=0)\land (\mathrm{Cdc20}=0)\land (\mathrm{CKI}=0)\land (B=1))\lor ((\mathrm{Clb2}=0)\land (\mathrm{Cdc20}=1)\land (\mathrm{CKI}=0)\land (\mathrm{Cdh1}=0)\land (B=1))\lor ((\mathrm{Clb2}=1)\land (\mathrm{SFF}=0)\land (\mathrm{Cdc20}=0)\land (\mathrm{CKI}=0)\land (B=1))\lor ((\mathrm{Clb2}=1)\land (\mathrm{SFF}=0)\land (\mathrm{Cdc20}=1)\land (\mathrm{CKI}=0)\land (\mathrm{Cdh1}=0)\land (B=1))\lor ((\mathrm{Clb2}=1)\land (\mathrm{SFF}=1))$ $(\mathrm{Clb2}=1)\land (\mathrm{SFF}=1)\land (M=1)$ $\mathrm{Cdc20}=1$ $(\mathrm{Clb2}=1)\land (\mathrm{FEAR}=1)$ $(\mathrm{FEAR}=1)\land (\mathrm{MEN}=1)$ $((\mathrm{Clb2}=0)\land (\mathrm{SFF}=1))\lor ((\mathrm{Clb2}=1)\land (\mathrm{SFF}=1)\land (\mathrm{Cdc14}=1))$ $((\mathrm{Cln2}=0)\land (\mathrm{Clb5}=0)\land (\mathrm{Clb2}=0)\land (\mathrm{Swi5}=0)\land (\mathrm{CKI}=1))\lor ((\mathrm{Cln2}=0)\land (\mathrm{Clb5}=0)\land (\mathrm{Clb2}=0)\land (\mathrm{Swi5}=1))\lor ((\mathrm{Cln2}=0)\land (\mathrm{Clb5}=0)\land (\mathrm{Clb2}=1)\land (\mathrm{Cdc14}=1)\land (\mathrm{Swi5}=1))\lor ((\mathrm{Cln2}=0)\land (\mathrm{Clb5}=1)\land (\mathrm{Cdc14}=1)\land (\mathrm{Swi5}=1))\lor ((\mathrm{Cln2}=1)\land (\mathrm{Cdc14}=1)\land (\mathrm{Swi5}=1))$ $((\mathrm{Cln2}=0)\land (\mathrm{Clb5}=0)\land (\mathrm{Clb2}=0))\lor ((\mathrm{Cln2}=0)\land (\mathrm{Clb5}=0)\land (\mathrm{Clb2}=1)\land (\mathrm{Cdc14}=1))\lor ((\mathrm{Cln2}=0)\land (\mathrm{Clb5}=1)\land (\mathrm{Cdc14}=1))\lor ((\mathrm{Cln2}=1)\land (\mathrm{Cdc14}=1))$ $((\mathrm{Clb5}=0)\land (\mathrm{Clb2}=0)\land (S=1)\land (\mathrm{CD}=0))\lor ((\mathrm{Clb5}=0)\land (\mathrm{Clb2}=1)\land (\mathrm{CD}=0))\lor ((\mathrm{Clb5}=1)\land (\mathrm{CD}=0))$ $((\mathrm{Cln2}=0)\land (\mathrm{Clb5}=0)\land (B=1)\land (\mathrm{CD}=0))\lor ((\mathrm{Cln2}=0)\land (\mathrm{Clb5}=1)\land (\mathrm{CD}=0))\lor ((\mathrm{Cln2}=1)\land (\mathrm{CD}=0))$ $((\mathrm{Clb2}=0)\land (M=1)\land (\mathrm{CD}=0))\lor ((\mathrm{Clb2}=1)\land (S=0)\land (M=1)\land (\mathrm{CD}=0))\lor ((\mathrm{Clb2}=1)\land (S=1)\land (\mathrm{CD}=0))$ $(\mathrm{FEAR}=1)\land (\mathrm{Cdc14}=1)\land (M=1)\land (\mathrm{CD}=0)$